Skip to content

ci: pin lambda-term to fork with Windows segfault fix#2915

Closed
davesnx wants to merge 2 commits intofix-windows-rtop-cifrom
pin-lambda-term-fix
Closed

ci: pin lambda-term to fork with Windows segfault fix#2915
davesnx wants to merge 2 commits intofix-windows-rtop-cifrom
pin-lambda-term-fix

Conversation

@davesnx
Copy link
Member

@davesnx davesnx commented Mar 4, 2026

Pin lambda-term to davesnx/lambda-term#fix-windows-console-segfault in opam-ci on Windows to test the ConPTY segfault fix end-to-end.

Re-enable rtopIntegration test on Windows for OCaml >= 5.0 (opam-ci with 5.4.0 will exercise the fix). esy-ci uses 4.14 so the test is naturally skipped there.

See: ocaml-community/lambda-term#125

davesnx added 2 commits March 4, 2026 19:55
Pin lambda-term to davesnx/lambda-term#fix-windows-console-segfault
in opam-ci on Windows to test the ConPTY segfault fix end-to-end.

Re-enable rtopIntegration test on Windows for OCaml >= 5.0 (opam-ci
with 5.4.0 will exercise the fix). esy-ci uses 4.14 so the test is
naturally skipped there.

See: ocaml-community/lambda-term#125
Use 'opam pin add' with git+https:// URL syntax and -y flag to
immediately build and install the pinned lambda-term, rather than
--no-action which only registers the pin without rebuilding.
@davesnx davesnx closed this Mar 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant